1. اثبات نظریه کانت مبنی بر تبدیل همۀ اشکال قیاس به شکل اول
پدیدآورنده : علی اکبر پیمان
کتابخانه: (طهران)
موضوع : نظریه مجموعه ها;قیاس صوری;منطق صوری;نمودار وِن;منطق ریاضی;
2. ورودي به منطق رياضي
پدیدآورنده : نوشته ايزائيل سالامونوويچ ,ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومي فلاورجان (أصبهان)
موضوع : مجموعه ها-نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
3. ورودي به منطق رياضي , قضيه مستقيم و قضيه معکوس
پدیدآورنده : اسرائيل سالامونويچ گرادشتين ترجمه پرويز شهرياري,قضيه مستقيم و معکوس
کتابخانه: كتابخانه عمومی میمند (فارس)
موضوع : مجموعه ها - نظريه منطق صوري و رياضي
رده :
511
3-
گ
248
و
4. ورودي به منطق رياضي قضيه مستقيم و قضيه معکوس
پدیدآورنده : ايزائيل گرادشتين ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی خرامه (فارس)
موضوع : مجموعه ها - نظريه ها منطق صوري و رياضي
رده :
511
3-
گ
248
و
5. ورودي به منطق رياضي,قضيه مستقيم و معکوس
پدیدآورنده : ايسرائيل سالامونويچ کرادشتين,ترجمه پرويز شهرياري
کتابخانه: كتابخانه عمومی بحر العلوم (خراسان رضوی)
موضوع : مجموعه نظريه منطق صوري رياضي
رده :
511
3-
گ
248
و
6. ورودی به منطق،قضیه مستقیم وقضیه معکوس
پدیدآورنده : / نوشته ایزائیل سالامونوویچ گرادشتین،ترجمه پرویز شهریاری
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : مجموعه ها- نظریه,منطق صوری ریاضی
رده :
۵۱۲
/
۹۰۴۲
گ
۲۴۸
و